منابع مشابه
FUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملDecidable Equational Classes
I will discuss the progress that has been made on solving two open problems dealing with the decidability of the first order theory of equationally defined classes of algebras (varieties).
متن کاملEquational Classes of F -rings with Unit: Disconnected Classes
This paper introduces several families of equational classes of unital f -rings that are defined by equations that impose conditions on the elements between 0 and 1. We investigate the portion of the lattice of equational classes of f -rings that involves these classes.
متن کاملThe equational theory of Kleene lattices
Languages and families of binary relations are standard interpretations of Kleene algebras. It is known that the equational theories of these interpretations coincide and that the free Kleene algebra is representable both as a relational and as a language algebra. We investigate the identities valid in these interpretations when we expand the signature of Kleene algebras with the meet operation...
متن کاملLattices of Equational Theories as Church Algebras
We introduce the class of Church algebras, which is general enough to compass all Boolean algebras, Heyting algebras and rings with unit. Using a new equational characterization of central elements, we prove that Church algebras satisfy a Stone representation theorem. We show that every lattice of equational theories is isomorphic to the congruence lattice of a suitable Church algebra, and we u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 1968
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-10882